Computer languages

Results: 15814



#Item
531Logic in computer science / FO / Finite model theory / Combinatory logic / Formal languages / Planted motif search

LNCSLongest Motifs with a Functionally Equivalent Central Block

Add to Reading List

Source URL: pbil.univ-lyon1.fr

Language: English - Date: 2008-10-22 02:35:21
532Cryptographic software / Functional languages / OCaml / Caml / Functional programming / Transport Layer Security / OpenSSL / LibreSSL / Preprocessor / Ctypes / Monad / Language binding

OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2016-08-18 12:03:29
533Finite automata / Theoretical computer science / Formal languages / Infographics / Linear temporal logic / Temporal logic / Finite-state machine / Diagram / Sequence / Formal verification / Automata theory / Bchi automaton

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Add to Reading List

Source URL: web.cs.wpi.edu

Language: English - Date: 2005-05-29 14:49:51
534Cross-platform software / Object-oriented programming / Procedural programming languages / Object / NewtonScript / Apple Newton / Inheritance / D / Iterator / Function object / Subroutine / Go

ð The NewtonScript Programming Language  Apple Computer, Inc.

Add to Reading List

Source URL: www.unna.org

Language: English - Date: 2007-03-29 21:51:46
535Object-oriented programming languages / Borland software / Turbo Pascal / Pascal / Timer / Intel / Video Graphics Array / Turbo / Oxygene

Behavior Research Methods. Instruments. & Computers-83 COMPUTER TECHNOLOGY Turbo Pascal timing routines for the IBM microcomputer family

Add to Reading List

Source URL: crr.ugent.be

Language: English - Date: 2011-02-27 04:37:19
536Scripting languages / Ruby / Object-oriented programming / Computer programming / Stable marriage problem

Enrico Pilotto Date of birth: 21th Oct 1984 via Roma, San Martino di Lupari, Padova, Italy B

Add to Reading List

Source URL: www.pioz.it

Language: English - Date: 2013-03-05 13:14:04
537Languages of Malaysia / Languages of Singapore / Fusional languages / Languages of Sudan / Languages of Trinidad and Tobago / Text segmentation / Image segmentation / Word / Mandarin Chinese / English language / Prosody / Linguistics

Story Segmentation of Brodcast News in English, Mandarin and Arabic Andrew Rosenberg Computer Science Department Columbia University New York City, N.Y

Add to Reading List

Source URL: www1.cs.columbia.edu

Language: English - Date: 2006-06-29 01:05:34
538Programming paradigms / High-level programming languages / Object-oriented programming languages / Scripting languages / Object-oriented programming / Computer programming / Object / Python / Bytecode

Many  Aspects  of  Programming What  is  Programming?

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2015-09-10 10:45:06
539Visual programming languages / Simulation software / AgentSheets / Artificial intelligence / Cross-platform software / Alexander Repenning

Our main goal is to bring computer science to middle schools with the ultimate aim of developing a larger IT workforce. Our approach, called Scalable Game Design, uniquely balances educational and motivational concerns.

Add to Reading List

Source URL: agentsheets.com

Language: English - Date: 2008-10-28 12:00:20
540Array programming languages / Binary operations / GNU Octave / Binary arithmetic / Computer arithmetic / Mathematical software / MATLAB / Octave / Binary logarithm / Pitch class / Relational operator / Division

Computing Fundamentals Salvatore Filippone 2012–2013

Add to Reading List

Source URL: people.uniroma2.it

Language: English - Date: 2014-09-23 08:12:56
UPDATE